Programming language foundations in Agda

FOUNDATIONS OF LANGUAGE to our students FOUNDATIONS OF LANGUAGE

Foundations of Quantum Programming

Progress in the techniques of quantum devices has made people widely believe that large-scale and functional quantum computers will be eventually built. By then, super-powered quantum computer will solve many problems affecting economic and social life that cannot be addressed by classical computing. However, our experiences with classical computing suggest that once quantum computers become av...

Foundations of Functional Programming

ions are compiled to the command, which will push a closure onto the Stack. The closure will include the current Environment and will hold as a list of commands, from compilation: Applications are compiled to the command at compile time. Under the interpreted SECD machine, this work occurred at run time: We could add further instructions, say for conditionals. Let be replaced by or , depending ...

Foundations for Bidirectional Programming

Foundations for on-the-Fly Learning in the Chuck Programming Language

Machine learning techniques such as classification have proven to be vital tools in both music information retrieval and music performance, where they are useful for leveraging data to learn and model relationships between low-level features and high-level musical concepts. Explicitly supporting feature extraction and classification in a computer music programming language could lower barriers ...